$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$, $Y$:RandomVariable($p$;$n$).
\\[0ex]rv{-}disjoint($p$;$n$;$X$;$Y$) $\Rightarrow$ ($\forall$$m$:$\mathbb{N}$. ($n$ $\leq$ $m$) $\Rightarrow$ rv{-}disjoint($p$;$m$;$X$;$Y$))